Sandén, Zalewski, 2006. Designing state-based systems with entity-life modeling 79.. https://doi.org/10.1016/j.jss.2005.02.004