Specifying Architecture Behavior with SysADL | IEEE Conference Publication | IEEE Xplore