logical system model code snippets in csharp