Text this: Lectures on formal methods and performance analysis :