PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems | IEEE Journals & Magazine | IEEE Xplore