MACH, M., PLÁŠIL, František. Addresing State Explosion in Behavior Protocol Verification. In: HU, G., HUANG, T., NI, X., ZHOU, A., eds. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Michigan: ACIS, 2004, s. 327-333. ISBN 0-9700776-8-8.