Parameter synthesis for hierarchical concurrent real-time systems. André, É., Liu, Y., Sun, J., & Dong, J. S. Real-Time Systems (RTS), 50(5-6):620-679, 2014.
Parameter synthesis for hierarchical concurrent real-time systems [link]Paper  Parameter synthesis for hierarchical concurrent real-time systems [pdf]Paper  bibtex   

Downloads: 0