public:00-sip-ra:99-annexes:annex-c-requirements:sip-002-formal-platform-independent-model