Adnan Sherif Augusto Sampaio Sérgio Cavalcante Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. 161-180 2003 conf/apn/2003 ICATPN http://link.springer.de/link/service/series/0558/bibs/2679/26790161.htm db/conf/apn/icatpn2003.html#SherifSC03