Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot: An Arithmetic Semantics for GRL Goal Models with Function Generation. SAM 2018: 144-162