Marjan Sirjani Ali Movaghar Hamed Iravanchi Mohammad Mahdi Jaghoori Amin Shali Model Checking in Rebeca. 1819-1822 2003 conf/pdpta/2003-4 PDPTA db/conf/pdpta/pdpta2003-4.html#SirjaniMIJS03