"Media services"@en . "Open Service Access"@en . "Atanasov" . "Ivaylo Atanasov" . "cd7aecd7eb442a060efc9373576f9cd1" . . "Ivaylo" . "Formal testing of functional behavior"@en . "Interface to protocol mapping"@en . .