Version of Alpacas described in the ECOOP 2021 paper "ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety".