SMS dit: Software engineering and formal methods