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