@Article{buyse_et_al:DARTS.7.2.14,
author = {Buyse, Maxime and Delmas, R\'{e}mi and Hamadi, Youssef},
title = {{ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact)}},
pages = {14:1--14:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Buyse, Maxime and Delmas, R\'{e}mi and Hamadi, Youssef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.7.2.14},
URN = {urn:nbn:de:0030-drops-140382},
doi = {10.4230/DARTS.7.2.14},
annote = {Keywords: Domain-Specific Language, Deep Embedding, Scala 3, Architecture Modelling, Safety Assessment, Static Analysis, Monte-Carlo Methods}
}