Tools for PBA