Comfortable Modeling of Complex Reactive Systems | IEEE Conference Publication | IEEE Xplore