Jianliang Yi Honguk Woo James C. Browne Aloysius K. Mok Fei Xie Ella Atkins Chan-Gun Lee Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. 137-146 2008 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.28 conf/rtas/2008 db/conf/rtas/rtas2008.html#YiWBMXAL08