Download Temporal Verification Of Reactive Systems: Safety 1995