Computer Aided Verification: 7th International Conference, CAV '95 Liège