A methodology for creating and adapting reactive systems | IEEE Conference Publication | IEEE Xplore