Composition of Use Cases Using Synchronization and Model Checking. - Rabeb Mizouni; Aziz Salah; Siamak Kolahi; Rachida Dssouli (FORTE, 2006)

Merging partial system behaviours: composition of use-case automata. - Rabeb Mizouni; Aziz Salah; Siamak Kolahi; Rachida Dssouli (IET Softw., 2007)