IRMA: real-time, distributed process management using Schemer | IEEE Conference Publication | IEEE Xplore