"Probably safe or live."

Joost-Pieter Katoen, Lei Song, Lijun Zhang (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics