I. Krüger, B. Demchak, and M. Menarini. Software Service and Application Engineering, volume 7365 of Lecture Notes in Computer Science, page 120-146. Springer, (2012)
I. Krüger, C. Farcas, E. Farcas, and M. Menarini. Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 155-199. Springer, (2007)