ssh fix for winupload.sh
osek header fix: also check for ISR when printing resource declarations
check for build files in submodules since empty folders exist in any case
first Promela models for arinc
osek: new test for ActivateTask
Update README.md

TIL markdown has automatic links
no errors for simple semaphore test when verifying with spin
code style
delete trailing spaces
use ocp-indent on file and spec analyses
deadlock test for spin
spin: add missing arinc functions
arinc: first version of promela export