P. Ölveczky, P. Kosiuczenko, and M. Wirsing. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 379-402. Springer, (1995)
S. Liu, P. Ölveczky, and J. Meseguer. Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 231-252. Springer, (2015)