Tutorial Google Code e Eclipse
Introduction to fault Tolerant
PetriNets Murata
Semântica de Linguagens de Programação
Nurture