Formal Specication of the Radio Block Centre (RBC): First Part.