Analyzing partially-implemented real-time systems. - Avrunin, George S.; Corbett, James C.; Dillon, Laura K. (IEEE Transactions on Software Engineering, 1998)