@Inproceedings{EPTCS205.3, author = {Chircop, Luke and Colombo, Christian and J. Pace, Gordon}, year = {2016}, title = {Device-Centric Monitoring for Mobile Device Management}, editor = {Kofro\v{n}, Jana and Tumova, Jana and Buhnova, Bara}, booktitle = {{\rm Proceedings of the 13th International Workshop on} Formal Engineering Approaches to Software Components and Architectures, {\rm Eindhoven, The Netherlands, 3rd April 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {205}, publisher = {Open Publishing Association}, pages = {31-44}, doi = {10.4204/EPTCS.205.3}, }