Behavioral Analysis of Software Architectures Using LTSA.

Jeff Magee

Browse the full ICSE paper archive.