Towards Automating a Software-Centered Development Process that considers Timing Properties | Publicación