Peer-reviewed research and formal specifications. All papers archived on Zenodo with permanent DOIs.