Designing and Executing Software Architectures Models Using SysADL Studio | IEEE Conference Publication | IEEE Xplore