Online Library TheLib.net » Temporal Logics in Computer Science. Finite-State Systems