A Practical Approach To The Modelling, Visualising And Executing Of Reactive Systems | IEEE Conference Publication | IEEE Xplore