Krawczyk, H. et al. 2012. Integrated static and dynamic analysis of PVM programs with STEPS. Computing and Informatics. 17, 5 (Mar. 2012), 441–453.