ESSEF: Un marco para modelar requisitos de seguridad en sistemas embebidos | Synapse