A complete proof system for timed observations | Publicación