Ghaith Haddad, Gary T. Leavens. Specifying subtypes in SCJ programs. In Andy J. Wellings, Anders P. Ravn, editors, The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011. pages 40-46, ACM, 2011. [doi]