4 papers:
MLDM-2015-TanGZ #incremental #kernel #named- IKLTSA: An Incremental Kernel LTSA Method (CT, JG, SZ), pp. 70–83.
ICSE-2006-FosterUMK #composition #modelling #named #verification #web #web service- LTSA-WS: a tool for model-based verification of web service compositions and choreography (HF, SU, JM, JK), pp. 771–774.
TACAS-2003-UchitelCKM #behaviour #named #tool support #using- LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.
- ICSE-1999-Magee #analysis #architecture #behaviour #using
- Behavioral Analysis of Software Architectures Using LTSA (JM), pp. 634–637.
