MODEST:硬时间和软时间系统的组合建模形式主义| IEEE期刊和杂志| IEEE Xplore