Werner Haas T. Bürner Stefan Gossens Ulrich Heinkel Formal Specification of a 40GBit/s Sonet/SDH ASIC. 426-435 2003 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=825 conf/fdl/2003 db/conf/fdl/fdl2003.html#HaasBGH03