Herrmann, Peter; Blech, Jan Olaf; Han, Fenglin; … - In: International Journal of Web Services Research (IJWSR) 13 (2016) 1, pp. 40-52
Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using …
