Using PBE in the real-world