Joel Huselius, Johan Andersson. Model Synthesis for Real-Time Systems. In 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings. pages 52-60, IEEE Computer Society, 2005. [doi]
Abstract is missing.