Diagrammatic reasoning with interactive P-V curves | IEEE Conference Publication | IEEE Xplore