You are about to access our book library "Interated Formal Methods:4th International Conference, Ifm 2004, Canterbury, UK April 2004: Proceedings full version" .