Yi-Liang Chen, Feng Lin 0001. Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 4110-4115, IEEE, 2001. [doi]
Abstract is missing.