Temporal Logics in Computer Science - innbundet, Engelsk, 2016