Formal Reasoning about Expectation Properties for Continuous Random Variables. - Osman Hasan; Naeem Abbasi; Behzad Akbarpour; Sofiène Tahar; Reza Akbarpour (FM, 2009)