Online Temporal Logics In Computer Science Finite State Systems 2016