Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgUitverkochtHou mij op de hoogte