User values are a significant part of designing software, but are not always considered explicitly in the design process. When making design decisions, user values can get lost among the designers own biases regarding their values. To avoid this pitfall, this work studies the integration of user values with design rationale techniques, namely Questions, Options, and Criteria (QOC), and how this integration reflects on a resulting design artifact (in particular, an interaction diagram using MoLIC). We performed two separate studies with Computer Science students in Rio de Janeiro. In the first study, we found that user values can be integrated into design rationale using informal notations, such as circling or underlining the options or criteria related to user values. The decisions made with the QOC method using user values did result in relevant impacts on MoLIC diagrams. Participants who performed activities for users with strong values had richer results than those for more generic users. In a second study, we found that designers can recognize when user values are embedded into design artifacts. These results are encouraging to continue research regarding user values, with possibilities of developing new methods or updating existing techniques and notations such as QOC or MoLIC to explicitly support user values.