@inproceedings{, author = {Wenger, Monika and Zoitl, Alois and Blech, Jan Olaf and Peake, Ian and Fernando, Lasith}, title = {Cloud Based Monitoring of Timed Events for Industrial Automation - Short Paper}, booktitle = {International Workshop on Automated Testing of Cyber-Physical Systems in the Cloud (cpsATcloud)}, year = {2015}, month = dec, location = {Melbourne}, abstract = {This paper presents ideas towards automatic monitoring of industrial automation devices by using a cloud based monitoring infrastructure. We are in particular aiming at fine grained timed properties that can be described using formal specification techniques such as behavioral types. We describe possible applications in the areas of remote maintenance and servicing as well as commissioning and testing.}, }