Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgSold out4.3Track