Course in system-validation System Validation (3): Requirements by modal formulas (coursera.org) Also available on classcentral.com. By EIT Digital via Coursera