Monitoring with behavior view diagrams for debugging | IEEE Conference Publication | IEEE Xplore