PropEr model helper library to validate implementations of supervisor trees - View it on GitHub