Modeling stream processing applications for dependability evaluation | IEEE Conference Publication | IEEE Xplore