Compositional reasoning for port-based distributed systems. - Alma L. Juarez Dominguez; Nancy A. Day (ASE, 2005)

Modelling feature interactions in the automotive domain. - Alma L. Juarez Dominguez; Nancy A. Day; Jeffrey J. Joyce (MiSE, 2008)

Feature Interaction Detection in the Automotive Domain. - Alma L. Juarez Dominguez (ASE, 2008)

Detection of Feature Interactions in Automotive Active Safety Features. - Alma L. Juarez Dominguez (2012)

Creating safety assurance cases for rebreather systems. - Alma L. Juarez Dominguez; Bruce G. Partridge; Jeffrey J. Joyce (ASSURE@ICSE, 2013)