Building Real Systems in Reason