Bo Sandén Janusz Zalewski Designing state-based systems with entity-life modeling. 69-78 2006 79 Journal of Systems and Software 1 http://dx.doi.org/10.1016/j.jss.2005.02.004 db/journals/jss/jss79.html#SandenZ06