Formal Models and Practical Tools for Information Systems Design | lit.salon