Safety and liveness, weakness and strength, and the underlying topological relationsCindy EisnerDana Fismanet al.2014ACM TOCL