Title: Formal Models and Practical Tools for Information Systems Design