System Modeling And Analysis by Hisashi Kobayashi & Brian Mark