Bouneb, M. et al. 2018. Hierarchical System Design Using Refinable Recursive Petri Net. Computing and Informatics. 37, 3 (Jul. 2018), 635–655.