Synthesis and distribution of modal transition systems from triggered scenarios