Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko  On Observing Dynamic Prioritised Actions in SOC.   In:  Automata, Languages and Programming (ICALP (2) 2009).   Lecture Notes in Computer Science, 5556 .  Springer, pp. 558-570.  ISBN 978-3-642-02929-5      (2009)