Yves Bontemps Pierre-Yves Schobbens Synthesis of Open Reactive Systems from Scenario-Based Specifications. 41-50 2003 conf/acsd/2003 ACSD http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870041abs.htm db/conf/acsd/acsd2003.html#BontempsS03