Author: International Workshop on Formal Methods for Industrial Critical Systems (10th 2005 Lisbon, Portugal)