related documents Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy Conferences