Partial Behavioural Models for Requirements and Early Design. - Marsha Chechik; Greg Brunet; Dario Fischbein; Sebastián Uchitel (MMOSS, 2006)

Properties of Behavioural Model Merging. - Greg Brunet; Marsha Chechik; Sebastián Uchitel (FM, 2006)

Behaviour Model Synthesis from Properties and Scenarios. - Sebastián Uchitel; Greg Brunet; Marsha Chechik (ICSE, 2007)

Synthesis of Partial Behavior Models from Properties and Scenarios. - Sebastián Uchitel; Greg Brunet; Marsha Chechik (IEEE Trans. Software Eng., 2009)

Weak Alphabet Merging of Partial Behavior Models. - Dario Fischbein; Nicolás D'Ippolito; Greg Brunet; Marsha Chechik; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2012)