Analysis and Design of Systems