Modeling and Automating Analysis of Server Duty and Client Obligation for High Assurance | IEEE Conference Publication | IEEE Xplore