Run-time monitoring for dependable systems: an approach and a case study | IEEE Conference Publication | IEEE Xplore