tests folder structure
tests folder structure
Slides
Add documentation for SysML to B translator
issues #432, #262
Move scade integration from master to feature-scade-integration branch