Formal Specification of a 40GBit/s Sonet/SDH ASIC. - Werner Haas 003; T. Bürner; Stefan Gossens; Ulrich Heinkel (FDL, 2003)