Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis