A. Aiken, M. Fähndrich, и Z. Su. Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, LNCS 1384, стр. 184--200. Springer, (1998)
S. Ahrndt, J. Fähndrich, и S. Albayrak. PAAMS (Special Sessions), том 293 из Advances in Intelligent Systems and Computing, стр. 95-102. Springer, (2014)
J. Fähndrich, S. Ahrndt, и S. Albayrak. PAAMS (Special Sessions), том 156 из Advances in Intelligent and Soft Computing, стр. 171-178. Springer, (2012)