An OpenSEA Framework Using ISO24707 Common Logic | IEEE Conference Publication | IEEE Xplore