Title: Some issues in the design of digital circuits using Occam and temporal logic