The PRIST-2 development environment: architecture and implementation.