αRby - An Embedding of Alloy in Ruby. - Aleksandar Milicevic; Ido Efrati; Daniel Jackson 001 (ABZ, 2014)