Appendix: list of acronyms & abbreviations