https://bookem.ir/books/2265905-Modeling-and-Verification-Using-UML-Statecharts