> in the second line the word "exect" should be expect, no?
Exactly, just a typo.
> regarding the tutorial itself, we are going to provide only the traffic light or it's just an example?
No, there will be more. In addition, there will be:
* The Agatha-Puzzle (introducing Contexts)
* Some Random Axioms and Theorems (Tricky Proving)
* The Location Access Controller (Complete Abrial Example)