MIRA: Add MSC and other formal specification to report generation
(from redmine: issue id 290, created on 2011-11-17, closed on 2012-08-16)
- Uploads:
- SimpleTrafficLightsExample.af3_20 Example with mode and code spec
(from redmine: issue id 290, created on 2011-11-17, closed on 2012-08-16)