SysML1.2 Specification (with changebars) [as PDF]: formal/2010-06-02

Source URL (as named hyperlink)
Notes
randomness