Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems | Publicación