| Message from the General Chair |
| Organizing and Program Committees |
| Keynote Speech / Session 1： |
| Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen |
| Real-Time Issues / Session 2： |
| Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi |
| TILCO-X, an Extension of TILCO Temporal Logic |
| On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard |
| A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver |
| Panel: Issues with Web Site Software / Session 3： |
| Formal Issues / Session 4： |
| Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen |
| Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu |
| Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet |
| Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka |
| Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5： |
| Industrial Experiences / Session 6： |
| Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton |
| Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson |
| Motivating the Corrective Maintenance Maturity Model (CM[superscript 3]) |
| Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7： |
| Design Issues / Session 8： |
| An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru |
| Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin |
| Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher |
| A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks |
| The Problem of Platform Complexity / H. LawsonSession 9： |
| Architectural Issues / Session 10： |
| Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren |
| Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen |
| Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel |
| Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu |
| Testing Issues / Session 11： |
| Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu |
| Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen |
| Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper |
| Analysis and Modeling / Session 12： |
| Analysis of Self-Stabilization for Infinite-State Systems / H. Yen |
| Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi |
| Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung |
| Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco |
| Authors' Index |
| Message from the General Chair |
| Organizing and Program Committees |
| Keynote Speech / Session 1： |
| Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen |
| Real-Time Issues / Session 2： |
| Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi |
