Contract-based integration of cyber-physical analyses (2014)

by I Ruchkin, D De Niz, S Chaki, D Garlan
Venue:in Proceedings of the 14th International Conference on Embedded Software