Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 26-33, 2004 , Porto, Portugal