Java Virtual Machine monitoring for dependability benchmarking | IEEE Conference Publication | IEEE Xplore