Search: ProB

This might interest you