TEAMS: A Special-Purpose AOP Framework for Runtime Monitoring | IEEE Conference Publication | IEEE Xplore