Layouting

docs/behavior/Automata.md

@@ -30,8 +30,8 @@ initial state S;
 ```
 
 where
-* `initial` is the optional modifier defining the initial state,
-* `S` is the unique name of the state
+* `initial` is the optional modifier defining the initial state,  
+* `S` is the unique name of the state  
 
 An automaton can have any number of transitions between states.
 
@@ -42,15 +42,15 @@ S1 -> S2 [condition] event / { action };
 ```
 
 where 
-* `S1` is the name of the source state (reference)
-* `S2` is the name of the target state (reference)
+* `S1` is the name of the source state (reference)  
+* `S2` is the name of the target state (reference)  
 * `[condition]` (optional) is the guard where the `condition` is a boolean 
-expression
+expression  
 * `event` (optional) is the event that triggers the transition. The name of 
 any input port is a valid trigger. If no event trigger is specified, then the 
-transition is triggered by discrete time progress.
+transition is triggered by discrete time progress.  
 * `/ { action }` (optional) the actions that are executed when taking the 
-transition where `action` is a list of statements.
+transition where `action` is a list of statements.  
 
 A state may optionally define entry and exit actions that are executed when 
 entering respectively exiting the state. A state with both entry and exit