On Specification Transparency: Towards A Formal Framework for