Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgEsaurito4,3Avvisami
