Formal design of a model-N counter - Fuchs, Max (Technische Universität <München>: TUM-I, 1995)