Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila. A Practical Application of UPPAAL and DTRON for Runtime Verification. In 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015. pages 39-45, IEEE, 2015. [doi]
Abstract is missing.