Fernando Herrera, Ingo Sander. Combining analytical and simulation-based design space exploration for time-critical systems. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1-8, IEEE, 2013. [doi]
Abstract is missing.