Steve J. Zeil;Will Tracz
Old Dominion Univ., Norfolk, VA;Loral Federal Systems, Owego, NY
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering