Integration of PIPE+, SAMAT and PIPE+Verifier