@inproceedings{haddad2010design,
author    = {Ghaith Haddad and Faraz Hussain and  Gary T. Leavens},
title = {{The Design of SafeJML, a Specification Language for SCJ with Support for WCET Specification}},
 booktitle = {Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems ({JTRES} 2010)},
 year={2010},
 pages={155--163},
 address={Prague, Czech Republic},
 doi = {10.1145/1850771.1850793},
 month = {August},
 keywords = {wrkshp},
 publisher = {ACM}
}