Merge branch 'upstream/master'
EA_MODEL add verification flags to various functions inside BTM.Linking
Started on changing how EOA and SvL are chosen
Modifications to the EOA selection process - created a collection to keep the EOAs in and a procedure to put all the Targets in the collection
EA_MODEL BTM.Linking small remodelling + add various comments to functions + add CurrentBGisLinked()
MODEL Lots of changes to improve the way the model handles EOA and SvL. Moving Kernel.InitializeElementsForMA() to Kernel.MA.InitializeElementsForMA() and changing tests accordingly
Merge branch 'Upstream/master'
Changed Kernel.MA.SvL() to return EMPTY when necessary
EA_MODEL remodelled BTM.Linking.ConsiderBG()
Merge pull request #406 from morido/master

Ok, merged!
Adopted suggested changes
Merge pull request #409 from JamesOakey/ChangesToEOA

Ok, merged!
Merge branch 'Upstream/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel.efs_ns