Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham: Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Autom. 87: 290-300 (2018)