Sahar Mohajerani Robi Malik Martin Fabian An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. 239-244 2012 WODES https://doi.org/10.3182/20121003-3-MX-4033.00040 conf/wodes/2012 db/conf/wodes/wodes2012.html#MohajeraniMF12