added preliminary execution reference models