Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems. - Vladimir Estivill-Castro; René Hexel; Josh Stover (EMS, 2015)