No matches were found for subject:"\[ProofPower\] Second Call for Papers\: Special Issue of the SCP on Automated Verification of Critical Systems"