Design of observers for timed continuous petri net systems | Publicación