selected publications blog posting APML: An Architecture Proof Modeling Language. arXiv (Cornell University). 2019 chapter APML: An Architecture Proof Modeling Language. Lecture Notes in Computer Science. 2019