Gómezand Bowman. Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. Springer Berlin Heidelberg, 2003, doi:10.1007/978-3-540-39979-7_12.