1. P. Amthor, H. Fleischhack, and J. Tapken. MOBY — more than a Tool for the Verification of SDL-Specifications. Technical Report, Universität Oldenburg, 1996.
2. Lect Notes Comput Sci;E. Best,1995
3. E. Best. Partial Order Verification with PEP. In G. Holzmann, D. Peled, and V. Pratt, editors, Proc. of POMIV’96 (Partial Order Methods in Verification. Am. Math. Soc., 1996.
4. Lect Notes Comput Sci;E. Best,1992
5. E. Best and B. Grahlmann. PEP: Documentation and User Guide. Universität Oldenburg., 1998. Availabe together with the tool via: http://www.theoretica.informatik.uni-oldenburg.de/pep .