Specification requirement of temporal HILS environment for RCP of DMS | IEEE Conference Publication | IEEE Xplore