Aspekte der Spezifikation von Hardware-Software-Systemen. - Lars H. Hahn (Shaker, 2002)