A component model for trustworthy real-time reactive systems development (2007)

by V Alagar, M Mohammad
Venue:In International Workshop on Formal Aspects of Component Software (FACS07), Sophia-Antipolis