Computer-Aided Modeling Of Reactive Systems by Warren E. Stewart & Michael Caracotsios