Proceedings, Volume 7, Part 2001

abstraction actuator aircraft algorithms alternating bit protocol analysis application approach architecture automata Bayesian probability behavior clock communication complex component-based components Computer Science configuration constraints context property corrective maintenance defined distributed domain evaluation event example execution faults Figure finite formal formula FTAM function graph hardware hybrid systems HyTech implementation input instance interactions interface International JAS 39 Gripen language layers machine translation messages method model checker module nodes object operators optimal parameters pc[i performance Petri nets precedence graph present preventive maintenance problem protocol queries reachability real-time systems refinement function requirements result RTTC scenario scheduling search engines Section self-stabilization semantics sensors sequence server software architecture Software Engineering Software Maintenance software systems source code specification structure synchronization tasks techniques temporal logic Theorem TILCO TILCO-X tion transition UPPAAL variables verification