On the use of rewriting logic for verification of distributed software architecture description based LfP | IEEE Conference Publication | IEEE Xplore