FSM-based properties and abstraction of components

Syed Hussein Syed Alwi, Emmanuelle Encrenaz. FSM-based properties and abstraction of components. In 25nd IEEE International Symposium on Rapid System Prototyping, RSP 2014, New Delhi, India, October 16-17, 2014. pages 37-43, IEEE, 2014. [doi]