H. Krawczyk, B. Wiszniewski, P. Kuzora, M. Neyman, and J. Proficz, “Integrated static and dynamic analysis of PVM programs with STEPS”, Comput. Inform., vol. 17, no. 5, pp. 441–453, Mar. 2012.