Describir: Hardware specification, verification and synthesis: mathematical aspects :