SMP Tool Beta v3.5 (2023-04-28)
- SSF to GSMS transformation is optimised
- Support is added for broadcasting of multiple events in SSFs 
- Support is added for inner transitions which doesn't broadcast events in SSFs 
- Support is added for branches at time zero in SSFs
- Analytical solver for SSFs is added
- Some bugs are fixed