Yajuan Sun Hai Lin 0002 Fuchun Liu Ben M. Chen Computation for Supremal Simulation-Based Controllable Subautomata. 1450-1455 2010 ICCA https://doi.org/10.1109/ICCA.2010.5524261 conf/icca/2010 db/conf/icca/icca2010.html#SunLLC10