Experimental Assessment of Scenario-Based Multithreading for Real-Time Object-Oriented Models: A Case Study with PBX Systems. - Saehwa Kim; Michael Buettner; Mark Hermeling; Seongsoo Hong (EUC, 2004)