selected publications chapter Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC. Springer eBooks. 123-141. 2011