Tai Myoung Chung
Purdue Univ.
A Development Environment for Complex Distributed Real-Time Applications
IEEE Transactions on Software Engineering
Formal Verification of Compiler Transformations for Speculative Real-Time Execution
Automatica (Journal of IFAC)