Software engineering v.3: domanis, requirements, and software desing - Bjorner, D. (SPRINGER -VERLAG Germany, 2006)