The Synthesis Company of San Francisco Mountain Logo
Time in message sequence charts: A formal approach | doi.page