1. Beck, K., Gamma, E.: Test infected: Programmers love writing tests. Java Report 3(7), 37–50 (1998)
2. Caffall, D., Cook, T., Drusinsky, D., Michael, J.B., Shing, M., Sklavounos, N.: Formal Specification and Run-time Monitoring within the Ballistic Missile Defense Project. Tech. Report NPS-CS-05-007. Naval Postgraduate School, Monterey, California (June 2005)
3. Chang, E., Pnueli, A., Manna, Z.: Compositional Verification of Real-Time Systems. In: Proc. 9th IEEE Symp. On Logic In Computer Science, pp. 458–465. IEEE Computer Society Press, Los Alamitos (1994)
4. Lecture Notes in Computer Science;D. Drusinsky,2000
5. Drusinsky, D.: Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. In: Proc. 4th Runtime Verification Workshop (RV’04), Invited paper (2004)