Claret - Central Artifact for Requirements Engineering and Model-Based Testing Site: https://splab-ufcg.github.io/claret (under development)