Defining the SEP environment for specifications using the SAPPHIRE model | IEEE Conference Publication | IEEE Xplore