Rong Su 0001 Jan H. van Schuppen Jacobus E. Rooda Albert T. Hofkamp Nonconflict check by using sequential automaton abstractions based on weak observation equivalence. 968-978 2010 46 Autom. 6 https://doi.org/10.1016/j.automatica.2010.02.025 db/journals/automatica/automatica46.html#SuSRH10