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