Ganesh Gopalakrishnan Rajnish Ghughal Ravi Hosabettu Abdelillah Mokkedem Ratan Nalumasu Formal modeling and validation applied to a commercial coherent bus: a case study. 48-62 1997 conf/charme/1997 CHARME db/conf/charme/charme1997.html#GopalakrishnanGHMN97