translated ltl section
place listing at the right places. remove float were needed
add explanation for trafficlight model and formalized atomic proposition