Formal tools for DEVS