Formal Verification of Temporal Properties Expressed Using Local Variables Application US-20140372967-A1 United States of America 18 Dec 2014