Towards parallel composition of partial finite state machines: Checking safety property step-by-step. - E. Darusenkova; Natalia Shabaldina (EWDTS, 2016)