Formal methods in software and systems modeling | lit.salon