Tekstiviesti: Logics and models of concurrent systems /