An approach to modeling and developing teleo-reactive systems considering timing constraints | Publicación