Appendix C: Taxonomy of MBT Approaches