StalkCD: A Model-Driven Framework for Interoperability and Analysis of CI/CD Pipelines | IEEE Conference Publication | IEEE Xplore