Monitoring and Testing with Case Observer Automata: An Industry Report | IEEE Conference Publication | IEEE Xplore