Combining Statecharts and Z for the Design of Safety-Critical Control Systems.

Matthias Weber

Browse the full FM paper archive.