A formal approach to reactive systems software: a telecommunications application in ESTEREL | IEEE Conference Publication | IEEE Xplore