Niels Lohmann Internal Behavior Reduction for Partner Synthesis. 96-103 2011 ZEUS https://ceur-ws.org/Vol-705/paper13.pdf conf/zeus/2011 db/conf/zeus/zeus2011.html#Lohmann11