Computer-Aided Modeling of Reactive Systems