5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001