A Case Study on Verifying a Supervisor Component Using McErlang. - David Castro 005; Víctor M. Gulías; Clara Benac Earle; Lars-Åke Fredlund; Samuel Rivas (PROLE, 2010)