Toward Safety-Assured Development of Real-Time Software November 5, 2011 Eunkyoung Jee, Oleg Sokolsky, Insup Lee PRECISE center, Department of Computer.
