Back to book— Modelling and Synthesis of Digital Systems