Towards Automating a Software-Centered Development Process that considers Timing Properties | IEEE Conference Publication | IEEE Xplore