Lectures on Formal Methods and Performance Analysis