Ghaith Haddad, Faraz Hussain, Gary T. Leavens. The design of SafeJML, a specification language for SCJ with support for WCET specification. In Tomás Kalibera, Jan Vitek, editors, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. ACM International Conference Proceeding Series, pages 155-163, ACM, 2010. [doi]
Abstract is missing.