Additive Assurance Introduces AMiRIS-LF