Glinz. Systematically Combining Specifications of Internal and External System Behavior Using Statecharts. IEE, 2004, doi:10.1049/ic:20040232.