Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour Models. - Patricia López Martínez; Jose Maria M. Lanza; José M. Drake; Michael González Harbour (EUROMICRO-SEAA, 2013)