selected publications academic article An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing. 95:649-688. 2013