A Web-Based Application to Verify Open Mobile Alliance Device Management Specifications