Compositional analysis of multi-mode systems (2010)

by L T X Phan, I Lee, O Sokolsky
Venue:In Euromicro Conf. on Real-Time Sys. (ECRTS