Analysis of the joint probability density function of the inventory in a two machine two buffer transfer line with unreliable machines | IEEE Conference Publication | IEEE Xplore