Krawczyk, H.; Wiszniewski, B.; Kuzora, P.; Neyman, M.; Proficz, J. Integrated Static and Dynamic Analysis of PVM Programs With STEPS. Comput. Inform. 2012, 17, 441-453.