System Level Methodology - Gajski, Daniel D; Vahid, Frank; Narayan, S. (UC Irvine, 1994)