BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes