Extending SPQR to Architectural Analysis by Semi-Automated Training | IEEE Conference Publication | IEEE Xplore