Serge Velikanov 6ccdfe0093 Update sm.adoc ...

Event names are `E3` and `E4` not a `S3`/`S4` which are state names

2018-07-12 08:27:16 +01:00

..

src

Update sm.adoc

2018-07-12 08:27:16 +01:00