TY - BOOK TI - ARCHITECTURE design and validation methods U1 - 5.18 PB - Springer-Verlag ER -