Book

Fundamentals of software engineering

by Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli