طراحی سیستم‌های قابل‌اعتماد با ALGOL 68RS