Behavior Engineering - A Scalable Modeling and Analysis Method | IEEE Conference Publication | IEEE Xplore