Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. Model checking of finite-state machine-based scenario-aware dataflow using timed automata. In 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015. pages 235-244, IEEE, 2015. [doi]
Abstract is missing.