A Practical Comparison of Alloy and Spin [2015]