1. Clarke, E.M., Emerson, F.A. & Sistla, A.P. (1986). Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, 244 – 263
2. Damm, W., Döhmen, G., Gerstner, V., Josko, B. (1990). Modular Verification of Petri Nets. The Temporal Logic Approach, in: J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.), Proceedings REX-Workshop on stepwise refinement of distributed systems: models, formalisms, correctness. Berlin: Springer, LNCS 430.
3. Herzog, C. (1996). Syntaxorientierte vs. Ablauforientierte Diagnose in intelligenten Programmierumgebungen als Beispiel für den Einsatz konkurrierender Problemlöser, in: M. Thielscher, S.-E. Bornscheuer (eds.) Fortschritte der Künstlichen Intelligenz (KI 96), Dresden: Dresden University Press.
4. Johnson, W.L. (1986). Intention-based Diagnosis of Novice Programming Errors. Los Altos: Morgan Kaufmann.
5. Josko, B. (1990). Veryfying the correctness of AADL modules using model checking, in: J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.), Proceedings REX-Workshop on stepwise refinement of distributed systems: models, formalisms, correctness. Berlin: Springer, LNCS 430, 386–400.