B-Cube, behavioural modelling of technical artefacts | Publicación