Text this: Modeling a Heterogeneous Embedded System in Coloured Petri Nets