Unit 2 Architectural Styles and Case Studies Bookspar
An Introduction to Software Architecture
Pengantar Arsitektur Perangkat Lunak
Software Model Checking Survey