[sktrdie]

Several literature on the subject which has not been mentioned in this article:

- Behavioral Programming http://www.wisdom.weizmann.ac.il/~bprogram/

- Live Sequence Charts (LSCs) http://wiki.weizmann.ac.il/playgo/index.php/Live_sequence_ch...