Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt. Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. In 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France. pages 100-106, IEEE Computer Society, 2004. [doi]
Abstract is missing.