FIDE: an FMI integrated development environment.

Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee

Browse the full SAC paper archive.