1. SystemC waiting state automata. (1st January 2012) Authors: Harrath, Nesrine; Monsuez, Bruno Journal: International journal of critical computer-based systems Issue: Volume 3:Number 1/2(2012) Page Start: 60 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗