Stefan Leue Alin Stefanescu Wei Wei An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. 238-257 2008 TOOLS (46) http://dx.doi.org/10.1007/978-3-540-69824-1_14 conf/tools/46-2008 db/conf/tools/tools46-2008.html#LeueSW08