{Safety and Liveness Properties: a Survey}