Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets | IEEE Conference Publication | IEEE Xplore