A methodology for verification and analysis of parallel and distributed systems requirements specifications. - Khalid Lateef; Hany H. Ammar; Vinay Mogulothu; Tooraj Nikzadeh (PDSE, 1997)