Probably safe or live.

Joost-Pieter Katoen, Lei Song, Lijun Zhang

Browse the full CSL paper archive.