selected publications
-
academic article
- An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing. 95:649-688. 2013
-
chapter
- EAST-ADL. IGI Global eBooks. 456-470. 2013