The PRISM Software Infrastructure: Achievements and Next Steps